TooManyArgumentsInLHS.agda:5,5-6
Cannot eliminate type Set with variable pattern Y (did you supply
too many arguments?)
when checking that the clause F X Y = Y has type Set → Set
